例文The fixed point formula of SNR is expressed asThus, the cohomology of B \ mathbb { G } _ m should be defined using smooth topology for formulae like Behrend's fixed point formula to hold.